Small numbers are spontaneously associated with left space and larger numbers with right space (the SNARC effect), for example when classifying numbers by parity. This effect is often attributed to reading habits but a causal link has so far never been documented. We report that bilingual Russian-Hebrew readers show a SNARC effect after reading Cyrillic script (from left-to-right) that is significantly reduced after reading Hebrew script (from right-to-left). In contrast, they have similar SNARC effects after listening to texts in either (...) language. These results support the view that spatially directional scanning habits contribute to the spatial association of numbers but also emphasize its flexibility. (shrink)

Can an AGI create a more intelligent AGI? Under idealized assumptions, for a certain theoretical type of intelligence, our answer is: “Not without outside help”. This is a paper on the mathematical structure of AGI populations when parent AGIs create child AGIs. We argue that such populations satisfy a certain biological law. Motivated by observations of sexual reproduction in seemingly-asexual species, the Knight-Darwin Law states that it is impossible for one organism to asexually produce another, which asexually produces another, and (...) so on forever: that any sequence of organisms (each one a child of the previous) must contain occasional multi-parent organisms, or must terminate. By proving that a certain measure (arguably an intelligence measure) decreases when an idealized parent AGI single-handedly creates a child AGI, we argue that a similar Law holds for AGIs. (shrink)

This survey outlines a history of museums written through biographies of objects in their collections. First, the mechanics of the movement of things and the accompanying shifts in status are considered, from manufacture or growth through collecting and exchange to the museum. Objects gathered meanings through associations with people they encountered on their way to the collection, thus linking the history of museums to broader scientific and civic cultures. Next, the essay addresses the use of items once they joined a (...) collection, whether classificatory, analytical, or in display. By thus embedding the study of scientific practice in material culture, this approach contributes to constructivist histories of science. The final section addresses the role of objects in the experience of the visitors, emphasizing how fruitful the history of museum objects can be in the study of the public engagement with science. (shrink)

Legg and Hutter, as well as subsequent authors, considered intelligent agents through the lens of interaction with reward-giving environments, attempting to assign numeric intelligence measures to such agents, with the guiding principle that a more intelligent agent should gain higher rewards from environments in some aggregate sense. In this paper, we consider a related question: rather than measure numeric intelligence of one Legg- Hutter agent, how can we compare the relative intelligence of two Legg-Hutter agents? We propose an elegant answer (...) based on the following insight: we can view Legg-Hutter agents as candidates in an election, whose voters are environments, letting each environment vote (via its rewards) which agent (if either) is more intelligent. This leads to an abstract family of comparators simple enough that we can prove some structural theorems about them. It is an open question whether these structural theorems apply to more practical intelligence measures. (shrink)

We define a notion of the intelligence level of an idealized mechanical knowing agent. This is motivated by efforts within artificial intelligence research to define real-number intelligence levels of compli- cated intelligent systems. Our agents are more idealized, which allows us to define a much simpler measure of intelligence level for them. In short, we define the intelligence level of a mechanical knowing agent to be the supremum of the computable ordinals that have codes the agent knows to be codes (...) of computable ordinals. We prove that if one agent knows certain things about another agent, then the former necessarily has a higher intelligence level than the latter. This allows our intelligence no- tion to serve as a stepping stone to obtain results which, by themselves, are not stated in terms of our intelligence notion (results of potential in- terest even to readers totally skeptical that our notion correctly captures intelligence). As an application, we argue that these results comprise evidence against the possibility of intelligence explosion (that is, the no- tion that sufficiently intelligent machines will eventually be capable of designing even more intelligent machines, which can then design even more intelligent machines, and so on). (shrink)

Can an agent's intelligence level be negative? We extend the Legg-Hutter agent-environment framework to include punishments and argue for an affirmative answer to that question. We show that if the background encodings and Universal Turing Machine (UTM) admit certain Kolmogorov complexity symmetries, then the resulting Legg-Hutter intelligence measure is symmetric about the origin. In particular, this implies reward-ignoring agents have Legg-Hutter intelligence 0 according to such UTMs.

In 2011, Hibbard suggested an intelligence measure for agents who compete in an adversarial sequence prediction game. We argue that Hibbard’s idea should actually be considered as two separate ideas: first, that the intelligence of such agents can be measured based on the growth rates of the runtimes of the competitors that they defeat; and second, one specific (somewhat arbitrary) method for measuring said growth rates. Whereas Hibbard’s intelligence measure is based on the latter growth-rate-measuring method, we survey other methods (...) for measuring function growth rates, and exhibit the resulting Hibbard-like intelligence measures and taxonomies. Of particular interest, we obtain intelligence taxonomies based on Big-O and Big-Theta notation systems, which taxonomies are novel in that they challenge conventional notions of what an intelligence measure should look like. We discuss how intelligence measurement of sequence predictors can indirectly serve as intelligence measurement for agents with Artificial General Intelligence (AGIs). (shrink)

In this article I assess Alisa Bokulich’s idea that explanatory model fictions can be genuinely explanatory. I draw attention to a tension in her account between the claim that model fictions are explanatorily autonomous, and the demand that model fictions be justified in order for them to be genuinely explanatory. I also explore the consequences that arise from Bokulich’s use of Woodward’s account of counterfactual explanation and her abandonment of Woodward’s notion of an intervention. As it stands, Bokulich’s account must (...) be deemed unworkable. (shrink)

The Voluntary Simplicity Movement can be understood broadly as a diverse social movement made up of people who are resisting high consumption lifestyles and who are seeking, in various ways, a lower consumption but higher quality of life alternative. The central argument of this paper is that the Voluntary Simplicity Movement or something like it will almost certainly need to expand, organise, radicalise and politicise, if anything resembling a degrowth society is to emerge in law through democratic processes. In a (...) sentence, that is the ‘grass-roots’ or ‘bottom up’ theory of legal and political transformation that will be expounded and defended in this paper. The essential reasoning here is that legal, political and economic structures will never reflect a post-growth ethics of macro-economic sufficiency until a post-consumerist ethics of micro-economic sufficiency is embraced and mainstreamed at the cultural level. (shrink)

In this article, I explore how the ideas of French philosopher Emmanuel Levinas offer insights into a debate often held today in the field of corporate governance, concerning the relative merits of statutory and voluntary approaches to the regulation of business. The philosophical position outlined by Levinas questions whether any rule-based systematisation of ethical responsibility, either statutory or voluntary, can ever equate to a genuine responsibility for the other person. I reflect on how various authors have adapted Levinas’s philosophy to (...) form a critique of bureaucracy and rule following in business, and the lack of ethical authenticity in corporate codes. However, this article also considers the question of whether a theoretical separation can be made between an ethical responsibility based on sensibility (as is suggested by Levinas) and a rational conceptualisation of how one is required to act. Considering the difficulty of disentangling these notions of ethics, I return to the problem of corporate governance and suggest an approach to stakeholder conflict based on mediation and dialogue, which rules out neither principles of conduct nor an openness of responsibility to the Other. (shrink)

After generalizing the Archimedean property of real numbers in such a way as to make it adaptable to non-numeric structures, we demonstrate that the real numbers cannot be used to accurately measure non-Archimedean structures. We argue that, since an agent with Artificial General Intelligence (AGI) should have no problem engaging in tasks that inherently involve non-Archimedean rewards, and since traditional reinforcement learning rewards are real numbers, therefore traditional reinforcement learning probably will not lead to AGI. We indicate two possible ways (...) traditional reinforcement learning could be altered to remove this roadblock. (shrink)

We present a game mechanic called pseudo-visibility for games inhabited by non-player characters (NPCs) driven by reinforcement learning (RL). NPCs are incentivized to pretend they cannot see pseudo-visible players: the training environment simulates an NPC to determine how the NPC would act if the pseudo-visible player were invisible, and penalizes the NPC for acting differently. NPCs are thereby trained to selectively ignore pseudo-visible players, except when they judge that the reaction penalty is an acceptable tradeoff (e.g., a guard might accept (...) the penalty in order to protect a treasure because losing the treasure would hurt even more). We describe an RL agent transformation which allows RL agents that would not otherwise do so to perform some limited self-reflection to learn the training environments in question. (shrink)

ABSTRACT This article contrasts Francis Bacon’s understanding of civil war, sedition, and rebellion with that of his near contemporaries and predecessors, especially Montaigne, Bodin, Machiavelli, Alberico Gentili and Edward Forset. The article contends that for Bacon, civil war, sedition, and rebellion are the antitheses of good government and that which prudent policy aims to avoid. The article further argues that for Bacon as sedition and its extremities are caused by poverty and discontentment, and these, in Bacon’s view, are the result (...) of overpopulation or ‘surcharge of people’, Bacon’s view for the avoidance of civil war aims at policies of outward expansion in the form of colonies and wars of aggression, both of which aim to reduce the metropole’s own population and therewith its propensity to civil war. The article argues that a consideration of Bacon on civil war in particular will shed considerable light on the ideological origins of the British Empire which have often been ignored – where some contemporary political theorists and historians are keen to link ideologies of empire to corresponding positions in political anthropology. A consideration of Bacon’s thought on civil war will show, instead, the article contends, that for key ideological originators of imperial justifications, imperial projects have their origin in domestic politics and the avoidance of civil war. (shrink)

Of all Plato’s dialogues, the Parmenides is notoriously the most difficult to interpret. Scholars of all periods have disagreed about its aims and subject matter. The interpretations have ranged from reading the dialogue as an introduction to the whole of Platonic metaphysics to seeing it as a collection of sophisticated tricks, or even as an elaborate joke. This work presents an illuminating new translation of the dialogue together with an extensive introduction and running commentary, giving a unified explanation of the (...) Parmenides and integrating it firmly within the context of Plato's metaphysics and methodology. Scolnicov shows that in the Parmenides Plato addresses the most serious challenge to his own philosophy: the monism of Parmenides and the Eleatics. In addition to providing a serious rebuttal to Parmenides, Plato here re-formulates his own theory of forms and participation, arguments that are central to the whole of Platonic thought, and provides these concepts with a rigorous logical and philosophical foundation. In Scolnicov's analysis, the Parmenides emerges as an extension of ideas from Plato's middle dialogues and as an opening to the later dialogues. Scolnicov’s analysis is crisp and lucid, offering a persuasive approach to a complicated dialogue. This translation follows the Greek closely, and the commentary affords the Greekless reader a clear understanding of how Scolnicov’s interpretation emerges from the text. This volume will provide a valuable introduction and framework for understanding a dialogue that continues to generate lively discussion today. (shrink)

This article examines the significance of Jacques Rancière’s work on pedagogy, and argues that to make sense of Rancière’s ‘lesson on the lesson’ one must do more but also less than merely explicate Rancière’s texts. It steadfastly refuses to draw out the lessons of Rancière’s writings in the manner of a series of morals, precepts or rules. Rather, it is committed to thinking through the ‘lessons’ of Rancière in another sense. Above all, Rancière wants to ‘teach’ his readers something absolutely (...) crucial about teaching. In making this claim the article emphasizes the extent to which Rancière advocates an utterly radical pedagogy, one that completely reconceives all the central elements of ‘schooling’, including teacher, student, intelligence and knowledge. Rancière thinks it possible to teach without knowing; he believes that the best schoolmasters can operate not on the assumption of their expertise, but on the equality of intelligence; and this means ultimately that Rancière contends that we can ‘teach what we do not know’. The best schoolmasters are ignorant schoolmasters. Rancière’s radical pedagogy depends upon, just as it consistently advances, a thoroughgoing resistance to a certain form of epistemological and ontological mastery. The rejection of mastery—of schoolmasters who would know it all, and convey this knowing to their students—forms the very backbone of all of Rancière’s writings and critical investigations. This is the chief reason why Rancière is, in a way, always talking about pedagogy, even when his subject matter appears to be something else entirely. (shrink)

We study the structure of families of theories in the language of arithmetic extended to allow these families to refer to one another and to themselves. If a theory contains schemata expressing its own truth and expressing a specific Turing index for itself, and contains some other mild axioms, then that theory is untrue. We exhibit some families of true self-referential theories that barely avoid this forbidden pattern.

We propose that, for the purpose of studying theoretical properties of the knowledge of an agent with Artificial General Intelligence (that is, the knowledge of an AGI), a pragmatic way to define such an agent’s knowledge (restricted to the language of Epistemic Arithmetic, or EA) is as follows. We declare an AGI to know an EA-statement φ if and only if that AGI would include φ in the resulting enumeration if that AGI were commanded: “Enumerate all the EA-sentences which you (...) know.” This definition is non-circular because an AGI, being capable of practical English communication, is capable of understanding the everyday English word “know” independently of how any philosopher formally defines knowledge; we elaborate further on the non-circularity of this circular-looking definition. This elegantly solves the problem that different AGIs may have different internal knowledge definitions and yet we want to study knowledge of AGIs in general, without having to study different AGIs separately just because they have separate internal knowledge definitions. Finally, we suggest how this definition of AGI knowledge can be used as a bridge which could allow the AGI research community to import certain abstract results about mechanical knowing agents from mathematical logic. (shrink)

This essay argues that reparations for wrongs by one's ancestors can be justified. Differential benefits to those descended from victims of one's ancestors is discrimination which can be justified by one's right to be partial to one's ancestors, doing what they, with clearer thinking, would have done--namely compensating their victims. So, while there is no obligation to discriminate, one has a right to, in virtue of one's partiality towards one's ancestors.

This is the text of The Lindley Lecture for 1994, given by Samuel Scheffler, an American philosopher.

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

Do we live in a computer simulation? I will present an argument that the results of a certain experiment constitute empirical evidence that we do not live in, at least, one type of simulation. The type of simulation ruled out is very specific. Perhaps that is the price one must pay to make any kind of Popperian progress.

ABSTRACT While democratic states may manipulate public opinion and mobilize society to serve their interests, a focus on such active efforts may distract us from the passive, default condition of ignorance‐based state autonomy. The electorate’s ignorance ensures that most of what modern states do is unknown to “society,” and thus need not even acquire social approval, whether manipulated or spontaneous. Similarly, suggestions that democratic states may be “captured” by societal groups must take cognizance of the factors that enable elites to (...) serve the interests of specific societal groups at the expense of the larger society. Bringing studies of voter ignorance into the analysis of state’s autonomy from society provides a novel approach to the study of democratic states’ autonomy, while also serving to explain how societal “capture” of state policies is possible. (shrink)

We prove that the conjugacy problem for the automorphism group of the random graph is Borel complete, and discuss the analogous problem for some other countably categorical structures.

A fundamental question asked in modal logic is whether a given theory is consistent. But consistent with what? A typical way to address this question identifies a choice of background knowledge axioms (say, S4, D, etc.) and then shows the assumptions codified by the theory in question to be consistent with those background axioms. But determining the specific choice and division of background axioms is, at least sometimes, little more than tradition. This paper introduces generic theories for propositional modal logic (...) to address consistency results in a more robust way. As building blocks for background knowledge, generic theories provide a standard for categorical determinations of consistency. We argue that the results and methods of this paper help to elucidate problems in epistemology and enjoy sufficient scope and power to have purchase on problems bearing on modalities in judgement, inference, and decision making. (shrink)

One shortcoming of the chain rule is that it does not iterate: it gives the derivative of f(g(x)), but not (directly) the second or higher-order derivatives. We present iterated differentials and a version of the multivariable chain rule which iterates to any desired level of derivative. We first present this material informally, and later discuss how to make it rigorous (a discussion which touches on formal foundations of calculus). We also suggest a finite calculus chain rule (contrary to Graham, Knuth (...) and Patashnik's claim that "there's no corresponding chain rule of finite calculus"). (shrink)

Patterns of reproductive failure described in humans and other mammals suggest that reproductive failure may in many instances be the result of adaptations evolved to suppress reproduction under temporarily harsh conditions. By suppressing reproduction under such conditions, females are able to conserve their time and energy for reproductive opportunities in which reproduction is most likely to succeed. Such adaptations have been particularly important for female mammals, given (a) the amount of time and energy that reproduction requires, and (b) the degree (...) to which reproductive conditions can vary.The existence of conscious and unconscious mechanisms to suppress reproduction under poor conditions has several implications for obstetric/gynecologic practices. Two implications are discussed with reference to biotechnological advancements in our ability to facilitate conceptions and manage problem pregnancies: (a) potential dangers of sophisticated technologies overriding natural fertility controls; and (b) the need for greater appreciation of the association between psychosocial stress and reproductive failure in the treatment of reproductive problems. Implications for elective abortion practices are discussed as well. (shrink)

Inspired by recent progress in multi-agent Reinforcement Learning (RL), in this work we examine the collective intelligent behaviour of theoretical universal agents by introducing a weighted mixture operation. Given a weighted set of agents, their weighted mixture is a new agent whose expected total reward in any environment is the corresponding weighted average of the original agents' expected total rewards in that environment. Thus, if RL agent intelligence is quantified in terms of performance across environments, the weighted mixture's intelligence is (...) the weighted average of the original agents' intelligences. This operation enables various interesting new theorems that shed light on the geometry of RL agent intelligence, namely: results about symmetries, convex agent-sets, and local extrema. We also show that any RL agent intelligence measure based on average performance across environments, subject to certain weak technical conditions, is identical (up to a constant factor) to performance within a single environment dependent on said intelligence measure. (shrink)

We provide an intuitive motivation for the hyperreal numbers via electoral axioms. We do so in the form of a Socratic dialogue, in which Protagoras suggests replacing big-oh complexity classes by real numbers, and Socrates asks some troubling questions about what would happen if one tried to do that. The dialogue is followed by an appendix containing additional commentary and a more formal proof.

I present an argument that for any computer-simulated civilization we design, the mathematical knowledge recorded by that civilization has one of two limitations. It is untrustworthy, or it is weaker than our own mathematical knowledge. This is paradoxical because it seems that nothing prevents us from building in all sorts of advantages for the inhabitants of said simulation.

In their thought-provoking paper, Legg and Hutter consider a certain abstrac- tion of an intelligent agent, and define a universal intelligence measure, which assigns every such agent a numerical intelligence rating. We will briefly summarize Legg and Hutter’s paper, and then give a tongue-in-cheek argument that if one’s goal is to become more intelligent by cultivating music appreciation, then it is bet- ter to use classical music (such as Bach, Mozart, and Beethoven) than to use more recent pop music. The (...) same argument could be adapted to other media: books beat films, card games beat first-person shooters, parables beat dissertations, etc. We leave it to the reader to decide whether this argument tells us something about classical music, something about Legg-Hutter intelligence, or something about both. (shrink)

Can you find an xy-equation that, when graphed, writes itself on the plane? This idea became internet-famous when a Wikipedia article on Tupper’s self-referential formula went viral in 2012. Under scrutiny, the question has two flaws: it is meaningless (it depends on fonts) and it is trivial. We fix these flaws by formalizing the problem.

Elementary patterns of resemblance notate ordinals up to the ordinal of Pi^1_1-CA_0. We provide ordinal multiplication and exponentiation algorithms using these notations.

Reinhardt’s conjecture, a formalization of the statement that a truthful knowing machine can know its own truthfulness and mechanicalness, was proved by Carlson using sophisticated structural results about the ordinals and transfinite induction just beyond the first epsilon number. We prove a weaker version of the conjecture, by elementary methods and transfinite induction up to a smaller ordinal.

In his dissertation, Wadge defined a notion of guessability on subsets of the Baire space and gave two characterizations of guessable sets. A set is guessable if and only if it is in the second ambiguous class, if and only if it is eventually annihilated by a certain remainder. We simplify this remainder and give a new proof of the latter equivalence. We then introduce a notion of guessing with an ordinal limit on how often one can change one’s mind. (...) We show that for every ordinal $\alpha$, a guessable set is annihilated by $\alpha$ applications of the simplified remainder if and only if it is guessable with fewer than $\alpha$ mind changes. We use guessability with fewer than $\alpha$ mind changes to give a semi-characterization of the Hausdorff difference hierarchy, and indicate how Wadge’s notion of guessability can be generalized to higher-order guessability, providing characterizations of ${\mathbf{\Delta}}^{0}_{\alpha}$ for all successor ordinals $\alpha\gt 1$. (shrink)